\footnotesize{
\begin{verbatim}
#(checked)=
{((((true AND (true AND (player.id.0 != player.id.1))) AND true) AND 
((((((true AND (true AND (player.id.0 != player.id.1))) AND true) AND 
((((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) AND 
((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND 
((true AND (true AND ((board.x.0 != board.x.1) OR 
(board.y.0 != board.y.1)))) AND true)) AND (board.id.0 == player.id.0)) 
OR (((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) AND 
((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND 
((true AND (true AND ((board.x.0 != board.x.1) OR 
(board.y.0 != board.y.1)))) AND true)) AND 
(board.id.1 == player.id.0)))) AND (player.id.0 == player.id.0)) OR 
((((true AND (true AND (player.id.0 != player.id.1))) AND true) AND 
((((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) AND 
((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND 
((true AND (true AND ((board.x.0 != board.x.1) OR 
(board.y.0 != board.y.1)))) AND true)) AND (board.id.0 == player.id.1)) 
OR (((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) AND 
((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND 
((true AND (true AND ((board.x.0 != board.x.1) OR 
(board.y.0 != board.y.1)))) AND true)) AND 
(board.id.1 == player.id.1)))) AND (player.id.1 == player.id.0))) 
and (not ((((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) 
AND ((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND 
((true AND (true AND ((board.x.0 != board.x.1) OR 
(board.y.0 != board.y.1)))) AND true)) AND ((board.id.0 == player.id.0) 
AND (not ((((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) 
AND ((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND 
((true AND (true AND ((board.x.0 != board.x.1) OR 
(board.y.0 != board.y.1)))) AND true)) AND 
((((board.x.0 - board.x.0) * (board.y.0 - board.y.0)) == 0) and 
(board.id.0 != board.id.0))) OR (((((board.id.0 == player.id.0) OR 
(board.id.0 == player.id.1)) AND ((board.id.1 == player.id.0) OR 
(board.id.1 == player.id.1))) AND ((true AND (true AND 
((board.x.0 != board.x.1) OR (board.y.0 != board.y.1)))) AND true)) AND 
((((board.x.1 - board.x.0) * (board.y.1 - board.y.0)) == 0) and 
(board.id.0 != board.id.1))))))) OR (((((board.id.0 == player.id.0) OR 
(board.id.0 == player.id.1)) AND ((board.id.1 == player.id.0) OR 
(board.id.1 == player.id.1))) AND ((true AND (true AND 
((board.x.0 != board.x.1) OR (board.y.0 != board.y.1)))) AND true)) AND
((board.id.1 == player.id.0) and (not ((((((board.id.0 == player.id.0)
OR (board.id.0 == player.id.1)) AND ((board.id.1 == player.id.0) OR 
(board.id.1 == player.id.1))) AND ((true AND (true AND 
((board.x.0 != board.x.1) OR (board.y.0 != board.y.1)))) AND true)) AND 
((((board.x.0 - board.x.1) * (board.y.0 - board.y.1)) == 0) and 
(board.id.1 != board.id.0))) OR (((((board.id.0 == player.id.0) OR 
(board.id.0 == player.id.1)) AND ((board.id.1 == player.id.0) OR 
(board.id.1 == player.id.1))) AND ((true AND (true AND 
((board.x.0 != board.x.1) OR (board.y.0 != board.y.1)))) AND true)) AND 
((((board.x.1 - board.x.1) * (board.y.1 - board.y.1)) == 0) and 
(board.id.1 != board.id.1))))))))))),
{checked.id -> player.id.0}),

((((true AND (true AND (player.id.0 != player.id.1))) AND true) AND 
((((((true AND (true AND (player.id.0 != player.id.1))) AND true) AND 
((((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) AND 
((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND 
((true AND (true AND ((board.x.0 != board.x.1) OR 
(board.y.0 != board.y.1)))) AND true)) AND (board.id.0 == player.id.0))
OR (((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) AND 
((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND 
((true AND (true AND ((board.x.0 != board.x.1) OR 
(board.y.0 != board.y.1)))) AND true)) AND (board.id.1 == player.id.0)))) 
AND (player.id.0 == player.id.1)) OR ((((true AND (true AND 
(player.id.0 != player.id.1))) AND true) AND 
((((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) AND 
((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND ((true AND 
(true AND ((board.x.0 != board.x.1) OR (board.y.0 != board.y.1)))) AND true)) 
AND (board.id.0 == player.id.1)) OR (((((board.id.0 == player.id.0) OR 
(board.id.0 == player.id.1)) AND ((board.id.1 == player.id.0) OR 
(board.id.1 == player.id.1))) AND ((true AND (true AND 
((board.x.0 != board.x.1) OR (board.y.0 != board.y.1)))) AND true)) AND 
(board.id.1 == player.id.1)))) AND (player.id.1 == player.id.1))) and 
(not ((((((board.id.0 == player.id.0) OR (board.id.0 == player.id.1)) AND
((board.id.1 == player.id.0) OR (board.id.1 == player.id.1))) AND ((true AND
(true AND ((board.x.0 != board.x.1) OR (board.y.0 != board.y.1)))) AND true)) 
AND ((board.id.0 == player.id.1) and (not ((((((board.id.0 == player.id.0) 
OR (board.id.0 == player.id.1)) AND ((board.id.1 == player.id.0) OR 
(board.id.1 == player.id.1))) AND ((true AND (true AND 
((board.x.0 != board.x.1) OR (board.y.0 != board.y.1)))) AND true)) 
AND ((((board.x.0 - board.x.0) * (board.y.0 - board.y.0)) == 0) and 
(board.id.0 != board.id.0))) OR (((((board.id.0 == player.id.0) OR 
(board.id.0 == player.id.1)) AND ((board.id.1 == player.id.0) OR 
(board.id.1 == player.id.1))) AND ((true AND (true AND 
((board.x.0 != board.x.1) OR (board.y.0 != board.y.1)))) AND true)) AND 
((((board.x.1 - board.x.0) * (board.y.1 - board.y.0)) == 0) and 
(board.id.0 != board.id.1))))))) OR (((((board.id.0 == player.id.0) OR 
(board.id.0 == player.id.1)) AND ((board.id.1 == player.id.0) OR
(board.id.1 == player.id.1))) AND ((true AND (true AND 
((board.x.0 != board.x.1) OR (board.y.0 != board.y.1)))) AND true)) AND 
((board.id.1 == player.id.1) and (not ((((((board.id.0 == player.id.0) OR
(board.id.0 == player.id.1)) AND ((board.id.1 == player.id.0) OR 
(board.id.1 == player.id.1))) AND ((true AND (true AND 
((board.x.0 != board.x.1) OR (board.y.0 != board.y.1)))) AND true)) AND 
((((board.x.0 - board.x.1) * (board.y.0 - board.y.1)) == 0) and 
(board.id.1 != board.id.0))) OR (((((board.id.0 == player.id.0) OR 
(board.id.0 == player.id.1)) AND ((board.id.1 == player.id.0) OR 
(board.id.1 == player.id.1))) AND ((true AND (true AND 
((board.x.0 != board.x.1) OR (board.y.0 != board.y.1)))) AND true)) AND 
((((board.x.1 - board.x.1) * (board.y.1 - board.y.1)) == 0) and 
(board.id.1 != board.id.1))))))))))),
{checked.id -> player.id.1})}

\end{verbatim}
}